Englisch-Finnisch Übersetzung für sequent

Definition für sequent

  • That comes after in time or order; subsequent
  • That follows on as a result, conclusion etc.; consequent , ,
  • Recurring in succession or as a series; successive, consecutive
  • Something that follows in a given sequence
  • A disjunctive set of logical formulae which is partitioned into two subsets; the first subset, called the antecedent, consists of formulae which are valuated as false, and the second subset, called the succedent, consists of formulae which are valuated as true.[http://logicinaction.org logicinaction.org], Chapter 8 (The set is written without set brackets and the separation between the two subsets is denoted by a turnstile symbol, which may be read "give(s
  • A follower
  • A sequential calculus

Anwendungsbeispiele

  • A sequent a, b \vdash c, d could be interpreted to correspond to an Existential Graph, whose expression in Existential Graph Interchange Format would be
    ~[(a) (b) ~[(c)] ~[(d)]], which in ordinary language could be expressed as "a and b give c or d".

Häufigste Anfragen

Beliebte Wörterbücher

Übersetzung.cc

Übersetzung.cc ist ein kostenloses Online Wörterbuch. Mehr als 14 Millionen Übersetzungen.

AGB   Cookie   Kontakt

In EnglishEn españolPå svenskaSuomeksiEestikeelne

Mindmax
Quelle: Wiktionary.
Lizenz: Creative Commons Attribution-ShareAlike.
© 2004-2024 Übersetzung.cc